Generic packet descriptions
نویسندگان
چکیده
Abstract Complex protocols describing the communication or storage of binary data are di cult to describe precisely. This paper presents a collection of data types for describing a binary data formats; the corresponding parser and pretty printer are generated automatically from a data description. By embedding these data types in a general purpose dependently typed programming language, we can verify once and for all that the parsers and pretty printers generated in this style are correct by construction. To validate our results, we show how to write a veri ed parser of the IPv4 network protocol.
منابع مشابه
A Method to Reduce Effects of Packet Loss in Video Streaming Using Multiple Description Coding
Multiple description (MD) coding has evolved as a promising technique for promoting error resiliency of multimedia system in real-time application programs over error-prone communicational channels. Although multiple description lattice vector quantization (MDCLVQ) is an efficient method for transmitting reliable data in the context of potential error channels, this method doesn’t consider disc...
متن کاملLearning Design, generic service descriptions and universal acid
This paper examines the contention that learning environments which use IMS Learning Designs can be created by plugging in different components, using generic service descriptions to create the interface between the Learning Design (LD) and the specific tools. There is an alternative viewpoint which claims that generic service descriptions cannot provide the richness required to fully utilize L...
متن کاملMultiple Description Coding with Redundant Expansions and Application to Image Communications
Multiple description coding offers an elegant and competitive solution for data transmission over lossy packet-based networks, with a graceful degradation in quality as losses increase. In the same time, coding techniques based on redundant transforms give a very promising alternative for the generation of multiple descriptions, mainly due to redundancy inherently given by a transform, which of...
متن کاملPerformance Characteristics of a Packet-Based Leaky-Bucket Algorithm for ATM Networks∗
A packet-based leaky-bucket algorithm functions like the early packet discard (EPD), and accepts a newly arriving packet if the probability that all the cells of the packet are accepted is high. We derive some performance characteristics of the cell and packet arrival processes that are accepted by the leaky-bucket algorithm. From these analyses, a method to determine the values of the paramete...
متن کاملAsymmetric Multiple Description Coding using Layered Coding and Erasure Codes
With Asymmetric Multiple Description Coding we address the transmission case where there is a plethora of communication paths between sender and receiver, all with a different bandwidth and different levels of reliability (in terms of packet loss rate). For this scenario we have several possibilities for coding and transmission at our disposal, namely Round-Robin transmission, Layered Coding, T...
متن کامل